Торопов Н. Р. , Закревский А. Д. «Минимизация булевых функций многихпеременных в классе ДНФ - итеративный метод и программная реализация » // Прикладная дискретная математика 2009. №1(3) C.5-14
Семенов А. А. «Об эффективном представлении дизъюнктивных нормальных форм диаграммами специального вида» // Прикладная дискретная математика. Приложение 2013. №6 (Приложение) C.125-129
Семенов А. А. «Об эффективном представлении дизъюнктивных нормальных форм диаграммами специального вида» // Прикладная дискретная математика. Приложение 2013. №6 C.125-129